On monotone presentations of Borel sets
نویسنده
چکیده
If A is a Σξ set and An (n < ω) are Borel sets then we call {An : n < ω} a presentation of A if A = S n<ω An and An (n < ω) have lower Borel class than A has. We show that for 2 ≤ ξ < ω1 it is not possible to assign a presentation to Σξ sets in a monotone way, i.e., it is not possible to define functions fn : Σ 0 ξ → Πξ (n < ω) such that for every A ∈ Σξ we have A = S n<ω fn(A) and A,A ′ ∈ Σξ, A ⊆ A′ implies fn(A) ⊆ fn(A) (n < ω). This answers a question of Márton Elekes in the negative. We also show the nonexistence of monotone presentation for Borel functions.
منابع مشابه
Some results on $L$-complete lattices
The paper deals with special types of $L$-ordered sets, $L$-fuzzy complete lattices, and fuzzy directed complete posets.First, a theorem for constructing monotone maps is proved, a characterization for monotone maps on an $L$-fuzzy complete lattice is obtained, and it's proved that if $f$ is a monotone map on an $L$-fuzzy complete lattice $(P;e)$, then the least fixpoint of $f$ is meet of a spe...
متن کاملLinearization of analytic order relations
We prove that if 4 is an analytic partial order then either 4 can be extended to a ∆2 linear order similar to an antichain in 21 ordered lexicographically or a certain Borel partial order ≤0 embeds in 4 . Some corollaries for analytic equivalence relations are given, for instance, if E is a Σ1 1 [z] equivalence relation such that E0 does not embed in E then E is determined by intersections with...
متن کاملMonotone Spaces and Nearly Lipschitz Maps
A metric space (X, d) is called c-monotone if there is a linear order < on X and c > 0 such that d(x, y) 6 c d(x, z) for all x < y < z in X. A brief account of investigation of monotone spaces including applications is presented. 1 Monotone and σ-Monotone Spaces. In [6] I investigated existence of sets in Euclidean spaces that have large Hausdorff dimension and yet host no continuous finite Bor...
متن کاملTripled partially ordered sets
In this paper, we introduce tripled partially ordered sets and monotone functions on tripled partiallyordered sets. Some basic properties on these new dened sets are studied and some examples forclarifying are given.
متن کاملOptimal and Better Transport Plans
We consider the Monge-Kantorovich transport problem in a purely measure theoretic setting, i.e. without imposing continuity assumptions on the cost function. It is known that transport plans which are concentrated on c-monotone sets are optimal, provided the cost function c is either lower semi-continuous and finite, or continuous and may possibly attain the value ∞. We show that this is true i...
متن کامل